Concurrency control - PDFSEARCH.IO - Document Search Engine

Concurrency control
Results: 1488

#	Item
111	A Formal Model of Crash Recovery in Distributed Software Transactional Memory (Extended Abstract) Paweł T. Wojciechowski, Jan Kończak Poznań University of TechnologyPoznań, Poland Add to Reading List Source URL: rp-www.cs.usyd.edu.au Language: English Transaction processing Fault-tolerant computer systems Data management Concurrency control Databases Paxos Replication Software transactional memory State machine replication Consensus Database transaction Transactional memory
112	Implementing MPI-IO Atomic Mode Without File System Support Robert Ross Robert Latham William Gropp Rajeev Thakur Brian Toonen Mathematics and Computer Science Division Argonne National Laboratory Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2016-08-16 11:52:12 Concurrency control Lock MPICH File locking Linearizability Mutual exclusion Fetch-and-add Parallel computing Synchronization Test-and-set Message Passing Interface
113	Extending the MPI-2 Generalized Request Interface Robert Latham, William Gropp, Robert Ross, and Rajeev Thakur Mathematics and Computer Science Division Argonne National Laboratory Argonne, IL 60439, USA Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2016-08-16 11:52:12 Parallel computing Application programming interfaces Message Passing Interface Concurrency control Inter-process communication MPICH Non-blocking Asynchronous I/O Thread Futures and promises MPI Unix signal
114	A Note on Monitor Versions Essay in the Honour of C.A.R. Hoare Ole-Johan Dahl Department of Informatics University of Oslo, Norway 30th July 1999 Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Concurrency control Edsger W. Dijkstra Monitor Hoare logic Event Semaphore Concurrent computing Pascal XC Flag semaphore ALGOL 68 Unix signal
115	IEEE TRANSACTIONS ON SERVICES COMPUTING, SPECIAL ISSUE ON CLOUD COMPUTING, CloudTPS: Scalable Transactions for Web Applications in the Cloud Add to Reading List Source URL: www.globule.org Language: English - Date: 2011-04-16 03:40:34 Transaction processing Data management Concurrency control Database transaction Amazon SimpleDB ACID Distributed transaction Replication Bigtable Timestamp-based concurrency control Online transaction processing Scalability
116	Review of last lecture  Cache-coherence is not enough!  Many more subtle issues for parallel programs! Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2013-10-13 13:49:30 Concurrency control Linearizability Lock Resource Acquisition Is Initialization FIFO Mutual exclusion Queue Monitor
117	A Schedulability Compatible Multiprocessor Resource Sharing Protocol - MrsP A. Burns and A.J. Wellings Department of Computer Science,University of York,York, YO10 5GH, UK Abstract—Lock-based resource sharing protocols Add to Reading List Source URL: www-users.cs.york.ac.uk Language: English - Date: 2013-04-24 07:59:24 Concurrency control Real-time computing Priority inversion Priority ceiling protocol Real-time operating system Stack Resource Policy Scheduling Semaphore Non-blocking algorithm Synchronization Priority inheritance Lock
118	High Performance Hardware Transactional Memory does not Equal High Performance Transaction Systems Justin Levandoski (Microsoft) Darko Makreshanski (ETH Zurich) Ryan Stutsman (Utah) Add to Reading List Source URL: hpts.ws Language: English - Date: 2015-10-02 08:07:40 Concurrency control Transaction processing Linearizability Non-blocking algorithm Lock Transactional memory Compare-and-swap Software transactional memory Transactional Synchronization Extensions
119	CrossStitch: An Efficient Transaction Processing Framework for Geo-Distributed Systems Sharon Choy, Bernard Wong, Xu Cui, Xiaoyi Liu Cheriton School of Computer Science, University of Waterloo s2choy, bernard, xcui, x298 Add to Reading List Source URL: cs.uwaterloo.ca Language: English - Date: 2015-07-12 18:07:58 Transaction processing Data management Two-phase commit protocol Serializability Concurrency control Distributed transaction Timestamp-based concurrency control ACID Durability Database transaction Schedule Replication
120	A Constructive Approach for Proving Data Structures’ Linearizability ? Kfir Lev-Ari1 , Gregory Chockler2 , and Idit Keidar1 Add to Reading List Source URL: webee.technion.ac.il Language: English - Date: 2015-08-17 06:31:40 Concurrency control Transaction processing Linearizability Algorithm Concurrent computing Parallel computing

UPDATE